A Harmony Search Based Algorithm for Detecting Distributed Predicates
نویسندگان
چکیده
منابع مشابه
A Harmony Search Based Algorithm for Detecting Distributed Predicates
Detection of distributed predicates (also referred to as runtime verification) can be used to verify that a particular run of a given distributed program satisfies certain properties (represented as predicates). Consequently, distributed predicates detection techniques can be used to effectively improve the dependability of a given distributed application. Due to concurrency, the detection of d...
متن کاملan adapted harmony search based algorithm for facility layout optimization
this paper presents a strategy for using harmony search algorithm in facility layout optimization problems. in this paper an adapted harmony search algorithm is developed for solving facility layout optimization problems. this method finds an optimal facility arrangement in an existing layout. two real-world case studies are employed to demonstrate the efficiency of this model. a comparison is ...
متن کاملA harmony search-based approach for real-time volt & var control in distribution network by considering distributed generations units
In recent decade, development of telecommunications infrastructure has led to rapid exchange of data between the distribution network components and the control center in many developed countries. These changes, considering the numerous benefits of the Distributed Generators (DGs), have made more motivations for distribution companies to utilize these kinds of generators more than ever before. ...
متن کاملLoad Model Effect Assessment on Optimal Distributed Generation Sizing and Allocation Using Improved Harmony Search Algorithm
The operation of a distribution system in the presence of distributed generation systems has someadvantages and challenges. Optimal sizing and siting of DG systems has economic, technical, andenvironmental benefits in distribution systems. Improper selection of DG systems can reduce theseadvantages or even result in deterioration in the normal operation of the distribution system. DGallocation ...
متن کاملDistributed Algorithms for Detecting Conjunctive Predicates
This paper discusses eecient distributed detection of global conjunctive predicates in a distributed program. Previous work in detection of such predicates is based on a checker process. The checker process requires O(n 2 m) time and space where m is the number of messages sent or received by any process and n is the number of processes over which the predicate is deened. In this paper, we intr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Advanced Computer Science and Applications
سال: 2012
ISSN: 2158-107X,2156-5570
DOI: 10.14569/ijacsa.2012.031025